Maintaining distributed logic programs incrementally
نویسندگان
چکیده
منابع مشابه
Maintaining Distributed Recursive Views Incrementally
Distributed logic programming languages, that allow bothfacts and programs to be distributed among different nodesin a network, have been recently proposed and used to declarativelyprogram a wide-range of distributed systems, such asnetwork protocols and multi-agent systems. However, the distributednature of the underlying systems poses serious challengesto developin...
متن کاملIncrementally Maintaining Materializations of Ontologies Stored in Logic Databases
This article presents a technique to incrementally maintain materializations of ontological entailments. Materialization consists in precomputing and storing a set of implicit entailments, such that frequent and/or crucial queries to the ontology can be solved more efficiently. The central problem that arises with materialization is its maintenance when axioms change, viz. the process of propag...
متن کاملDistributed Algorithms for Incrementally Maintaining Multiagent Simple Temporal Networks
When multiple robots want to maintain temporal information, they can employ a Multiagent Simple Temporal Network (MaSTN). Recent work has shown that the constraints in a MaSTN can be efficiently propagated by using a distributed algorithm for partial path consistency (PPC). However, new temporal constraints may arise continually due to ongoing plan construction or execution, the decisions of ot...
متن کاملMaintaining Views Incrementally Extended Abstract
We present incremental evaluation algorithms to compute changes to materialized views in relational and deductive database systems, in response to changes (insertions, deletions, and updates) to the relations. The view deenitions can be in SQL or Datalog, and may use UNION, negation, aggregation (e.g. SUM, MIN), linear recursion, and general recursion. We rst present a counting algorithm that t...
متن کاملIncrementally maintaining classification using an RDBMS
The proliferation of imprecise data has motivated both researchers and the database industry to push statistical techniques into relational database management systems (RDBMSes). We study strategies to maintain model-based views for a popular statistical technique, classification, inside an RDBMS in the presence of updates (to the set of training examples). We make three technical contributions...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Languages, Systems & Structures
سال: 2012
ISSN: 1477-8424
DOI: 10.1016/j.cl.2012.02.001